algebraic specification - Deutsch Englisch Wörterbuch